notations.rkt (85B)
1 #lang racket 2 3 (require scribble/base) 4 5 (provide texsubtype) 6 7 (define texsubtype "<:")
