symbols-a4

def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
\dddtstile{abc}{def} abc
def
\ddststile{abc}{def} abc
def
\ddtstile{abc}{def} abc
def
\ddttstile{abc}{def} abc
def
\dndtstile{abc}{def} abc
def
\dnststile{abc}{def} abc
\dntstile{abc}{def}
\dnttstile{abc}{def}
\dsdtstile{abc}{def}
\dsststile{abc}{def}
\dststile{abc}{def}
\dsttstile{abc}{def}
\dtdtstile{abc}{def}
\dtststile{abc}{def}
Table 79: turnstile Binary Relations
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
\dttstile{abc}{def} abc
def
\dtttstile{abc}{def} abc
def
\nddtstile{abc}{def} abc
def
\ndststile{abc}{def} abc
def
\ndtstile{abc}{def} abc
def
\ndttstile{abc}{def} abc
def
\nndtstile{abc}{def} abc
def
\nnststile{abc}{def} abc
\nntstile{abc}{def}
\nnttstile{abc}{def}
\nsdtstile{abc}{def}
\nsststile{abc}{def}
\nststile{abc}{def}
\nsttstile{abc}{def}
\ntdtstile{abc}{def}
\ntststile{abc}{def}
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
abc
def
\nttstile{abc}{def} abc
def
\ntttstile{abc}{def} abc
def
\sddtstile{abc}{def} abc
def
\sdststile{abc}{def} abc
def
\sdtstile{abc}{def} abc
def
\sdttstile{abc}{def} abc
def
\sndtstile{abc}{def} abc
def
\snststile{abc}{def} abc
\sntstile{abc}{def}
\snttstile{abc}{def}
\ssdtstile{abc}{def}
\ssststile{abc}{def}
\sststile{abc}{def}
\ssttstile{abc}{def}
def
abc
def
abc
def
abc
def
abc
\stdtstile{abc}{def}
\stststile{abc}{def}
\sttstile{abc}{def}
\stttstile{abc}{def}
\tddtstile{abc}{def}
\tdststile{abc}{def}
\tdtstile{abc}{def}
\tdttstile{abc}{def}
\tndtstile{abc}{def}
\tnststile{abc}{def}
\tntstile{abc}{def}
\tnttstile{abc}{def}
\tsdtstile{abc}{def}
\tsststile{abc}{def}
\tststile{abc}{def}
\tsttstile{abc}{def}
\ttdtstile{abc}{def}
\ttststile{abc}{def}
\tttstile{abc}{def}
\ttttstile{abc}{def}
Each of the above takes an optional argument that controls the size of the upper
and lower expressions. See the turnstile documentation for more information.
35