On Sun, Sep 21, 2008 at 21:55, Henri Lesourd <address@hidden> wrote:Yes, this one is the real one.
A not too bad approximation would be:
<math|<superpose|<ltimes>|<rtimes>>>
Why approximate?
<\math>
\<join\>
</math>
Alternatively, type: $ ESC i $ j o i n ENTERGreat.
i found this by:
1. Looking up the unicode number of the character, it is U+22C8;
2. Typing in another app "⋈" and copying it.
3. In TeXmacs, Edit->Paste from->Html.
Archive powered by MHonArc 2.6.19.