Searched defs:mlessp (Results 1 – 5 of 5) sorted by relevance
35 (def-same%tr mlessp mnotequal) unknown
488 (defprop mlessp msize-infix grind) unknown489 (defprop mlessp 80. lbp) unknown490 (defprop mlessp 80. rbp) unknown
822 (defprop mlessp tex-infix tex) unknown823 (defprop mlessp (<) texsym) unknown
619 (defprop mlessp mathml-infix mathml) unknown620 (defprop mlessp ("<mo><</mo> ") mathmlsym) unknown621 (defprop mlessp 80. mathml-lbp) unknown622 (defprop mlessp 80. mathml-rbp) unknown
442 (defprop mlessp 80. tex-lbp) unknown443 (defprop mlessp 80. tex-rbp) unknown