Skip to Content.
Sympa Menu

texmacs-users - Re: [TeXmacs] Q: HOWTO: typeset Conway's fuzzy order relations

Subject: mailing-list for TeXmacs Users

List archive

Re: [TeXmacs] Q: HOWTO: typeset Conway's fuzzy order relations


Chronological Thread 
  • From: Jeremy Henty <address@hidden>
  • To: address@hidden
  • Subject: Re: [TeXmacs] Q: HOWTO: typeset Conway's fuzzy order relations
  • Date: Mon, 19 May 2008 01:48:37 +0100

On Sun, May 18, 2008 at 11:10:49PM +0200, Friedrich Laher wrote:

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

I'm sorry, I should have spoken more precisely. What I meant was that
I wanted to typeset a vertical bar of a specified width and height.
TeX has commands for this, but AFAICT TeXmacs has nothing similar.
That's why I chose to typeset a vertical bar character, then scaled it
and moved it. It's ugly but I don't know of anything better.

I suspect the key sequence you suggest adds the <mid> character (it
doesn't work for me, but I think that is due to keyboard and X
configuration issues). That is great *if* you are happy with the
height and width that it chooses for you. Unfortunately I need a
different height and width so that does not help me.

Regards,

Jeremy Henty



Archive powered by MHonArc 2.6.19.

Top of Page