Skip to Content.
Sympa Menu

texmacs-users - [TeXmacs] \bowtie ?

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs] \bowtie ?


Chronological Thread 
  • From: "David Allouche" <address@hidden>
  • To: address@hidden
  • Subject: [TeXmacs] \bowtie ?
  • Date: Sat, 27 Sep 2008 22:45:07 +0200
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:in-reply-to:mime-version :content-type:content-transfer-encoding:content-disposition :references:x-google-sender-auth; b=qIzTND1x07/fhrS7YmydtEsK38T0LpNh+I1I+8B0kTi68JHxPip8qRTfVUdNVUCfVo i/XYmnsE1PIaewxSr90Si8HmW62CaldZUVjT3ASxNiFjbQBaD8om6U9T/mb/a2ds3vXA UdAXt/t5X7M6t6QFFHYSMJ0qbKMoiiwipJ+yM=

On Sun, Sep 21, 2008 at 21:55, Henri Lesourd <address@hidden> wrote:
> A not too bad approximation would be:
> <math|<superpose|<ltimes>|<rtimes>>>

Why approximate?

<\math>
\<join\>
</math>

Alternatively, type: $ ESC i $ j o i n ENTER

i found this by:
1. Looking up the unicode number of the character, it is U+22C8;
2. Typing in another app "&#X22C8;" and copying it.
3. In TeXmacs, Edit->Paste from->Html.

Some poor soul has spent weeks compiling excruciatingly complete and
mind-boggingly accurate conversion tables between texmacs and unicode.
That soul would appreciate if that somehow made the life other people
easier.



Archive powered by MHonArc 2.6.19.

Top of Page