mailing-list for TeXmacs Users

[Jeremy Henty <address@hidden>]

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>