[Agda] Strange way of displaying \sqcap and \sqcup in emacs 23.3.1 Lubuntu 11.10

David Wahlstedt david.wahlstedt at gmail.com
Sat Feb 11 23:53:02 CET 2012

Ok, that explains a lot! Thanks!

A few "workaround questions":

1. Does anyone know of a table of existing typing escape sequences for math
symbols in this emacs utf-8 input method?
I have figured out by trial and error, and guessing from LaTeX names. But
there should be a table somewhere. (at least it should live somewhere in
the emacs source code?)
 I am looking for symbols for "meet and join", and the like.
I know these: (and they show correctly in emacs 23.3.1)
-- ⋀ \And
-- ∧ \and
-- ⋁ \Or
-- ∨ \or
-- ∪ \cup
-- ⋓ \Cup
-- ∩ \cap
-- ⋒ \Cap

Are there any more of them?

2. I tried changing font, and some turned out to show my sq cup cap's
Sazanami Gothic
TlwgMono, Oblique(Medium does not work)
TlwgTypewriter, Oblique(Medium does not work)
URW Bookman L, Italic
URW Chancery L
URW Palladio L, Italic (Roman does not work)

Sans was the only font that didnt distort the text too much, but
unfortunately it is proportional...
Any recommendations for font settings?


On Sat, Feb 11, 2012 at 9:12 PM, Daniel Schoepe <daniel at schoepe.org> wrote:

> On Sat, 11 Feb 2012 14:33:12 +0100, David Wahlstedt <
> david.wahlstedt at gmail.com> wrote:
> > -- symbol obtained by typing \sqcup
> > -- ⊔ should look like a disjunction, paste this into a terminal and
> compare!
> >
> > -- symbol obtained by typing \sqcap
> > -- ⊓ should look like a conjunction, paste this into a terminal and
> compare!
> Hi,
> I have the same issue, but I've only gotten as far as finding out that
> the FreeSerif, which Emacs uses as a fallback font for me, seems to be
> responsible: If I install libreoffice, paste it there and change the
> font to FreeSerif, the same thing happens. I tried switching the parts
> for those two characters in the FreeSerif.sfd file in Debian's source
> package, but without success.
> I have also not managed to convince Emacs to use a different fallback
> font, while keeping my preferred primary font.
> > In this mail it looks as it should. Right?
> Only if you read your mails outside of Emacs. :)
> I'd also be interested in a fix for this, but I should probably report
> it as a bug in Debian, too.
> Cheers,
> Daniel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20120211/81abe16f/attachment.html

More information about the Agda mailing list