graph 1 3 Sections Graphs Doc

Def (f1,f2) o g(x) == g(x)/x,y. < f1(x),f2(y) >

is mentioned

In prior sections: graph 1 1 graph 1 2

Try larger context: Graphs

graph 1 3 Sections Graphs Doc