mailing-list for TeXmacs Users

[Friedrich Laher <address@hidden>]

I have no problem typsetting a vertikal bar, neither in text- nor math-mode:

( German Keyboard, SuSE Linux 10.2, texmacs 1.0.6 )

"AltGr <" ( AltGr is Alt right of spacebar ) "<" is key right of left shift-key



Jeremy Henty wrote:

On Sat, May 17, 2008 at 09:13:10PM +0100, Jeremy Henty wrote:

  

In John  Conway's theory  of games,  as well as  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?
    

No suggestions?   Here's my best shot at  it so far.  It  looks OK but
I'm  surprised there  doesn't  seem to  be  a way  to  just typeset  a
vertical  bar.  Did  I miss  something?   For the  moment I'm  working
around it by scaling up a <shortmid>.

Any comments?

Jeremy Henty 
  

---

<TeXmacs|1.0.6.14> <style|generic> <\body> <math|<with|magnification|5|G<group|\<vartriangleleft\><move|<with|font-size|1.3|\<shortmid\>>|-0.425em|-0.05ex>>H\<wedge\>H<group|<move|<with|font-size|1.3|\<shortmid\>>||-0.05ex><move|\<vartriangleright\>|-0.25em|>>G>> </body> <\initial> <\collection> <associate|language|british> <associate|preamble|false> </collection> </initial> <\references> <\collection> <associate|auto-1|<tuple|1|?>> </collection> </references>