skip to main content
paste
bin
.ca
type · paste · share
⌘
K
Docs
Sign in
?
All pastes
#2103536
Raw
Copy code
Copy link
Edit
Unnamed
public
text
v1 · immutable
#2103536
·
published
2012-01-16 14:36 UTC
Lines
Syntax
Wrap
Stripe
off
dark
light
Mono
Size
13px
Tab
2
4
8
Theme
Follow system
Always dark
Always light
rendered paste body
∀w2 (R(w1 , w2 ) → ∃w3 (R(w1 , w3 ) ∧ R(w3 , w2 )))