graph 1 2 Sections Graphs Doc

Def a ~ b == (a | b) & (b | a)

is mentioned

In prior sections: num thy 1

Try larger context: Graphs

graph 1 2 Sections Graphs Doc