phc-graph/notations.rkt

7 lines
85 B
Racket

#lang racket
(require scribble/base)
(provide texsubtype)
(define texsubtype "<:")