mailing-list for TeXmacs Users

[Jeremy Henty <address@hidden>]

If John Conway's theory of games, as well the usual <= order relation,
there is a similar "fuzzy" <|| relation where the first two characters
are joined into a triangle.  It's like the TeXmacs \<vartriangleleft\>
followed by a second bar.  How can I best typeset this in TeXmacs?

Regards, 

Jeremy Henty