org-pretty-entities and symbols like M_x^y

org-pretty-entities and symbols like M_x^y

[Laurent Hoeltgen]

Hi

I was wondering if there is a way to fontify expressions like M_x^y 
correctly with org-pretty-entities.

M_x^y displays the subscript x correctly but not the superscript y.
M^y_x displays the superscript y correctly but not the subscript x.

Regards,
Laurent

Re: org-pretty-entities and symbols like M_x^y

[Bastien]

Hi Laurent,

Laurent Hoeltgen <hoeltgman@gmail.com> writes:

> I was wondering if there is a way to fontify expressions like M_x^y
> correctly with org-pretty-entities.

M_x ^y is the only (non fully satisfactory) solution I can think of.

-- 
 Bastien

Re: org-pretty-entities and symbols like M_x^y

[Rasmus]

Bastien <bzg@altern.org> writes:

> M_x ^y is the only (non fully satisfactory) solution I can think of.

In general org entities work wonders, and I'm a very happy user.

I have a couple of others things that could be made nicer (somehow).
'===>' indicates what would be nicer:

 - \frac{x}{y} ===> [(x)/(y)] or something similar. You'd need to be
   able to see that it was folded, somehow, e.g. '[' could have
   another color, or the background of (x)/(y) could be different.
 - \bar{x}, tilde{x}, underline{x}, ... ==> constructed using
   combining utf8 characters ¹ (or at least support of it; i couldn't
   get it working properly)
 - Being able to specify several white spaces (it seems not to work,
   e.g. below I would like to replace quad with " ␣ ", but this
   doesn't seem to work...).
 - perhaps overlay to indicate when something is folded/replaced with
   a utf8 character.

Here's my org-entities-user btw:

(setq org-entities-user '(("space" "\\ " " " " " " " " ")
                          ("implies" "\\Rightarrow" t "&rArr;" "=>" "=>" "⇒")
                          ("iff" "\\iff" t "&hArr;" "<=>" "<=>" "⇔")
                          ("succcurlyeq" "\\succcurlyeq" t "≽" ">=" ">=" "≽")
                          ("gimel" "\\gimel" t "&#8503;" "gimel" "gimel" "ℷ")
                          ("beth" "\\beth" t "&#1489;" "bet" "bet" "ב")
                          ("coloneqq" "\\coloneqq" t "≔" ":=" ":=" "≔")
                          ("eqqcolon" "\\eqqcolon" t "≕" "=:" "=:" "≕")
                          ("cdots" "\\cdots" t "&hellip;" "..." "..." "⋯")
                          ("colon" "\\colon" t ":" ":" ":" ":")
                          ("quad" " " nil " " " " " " "␣")
                          ("geq" "\\ge" t "&ge;" ">=" ">=" "≥")
                          ("suchthat" "\\suchthat" t "|" "|" "|" "|")
                          ("leq" "\\leq" t "&le;" "<=" "<=" "≤")))

All but suchthat are normal LaTeX characters.  


Perhaps, org entities could use the TeX input method as a souce of
symbols?  See:

     (describe-input-method "TeX") 

–Rasmus


Footnotes: 
 ¹   https://en.wikipedia.org/wiki/Combining_character

-- 
When the facts change, I change my mind. What do you do, sir?

Re: org-pretty-entities and symbols like M_x^y

[Achim Gratz]

Rasmus writes:
>  - \bar{x}, tilde{x}, underline{x}, ... ==> constructed using
>    combining utf8 characters ¹ (or at least support of it; i couldn't
>    get it working properly)

We've been at this before, but I believe that introducing utf8
characters into the sources would cut off Emacs 22 compatibility.  There
is a known bug when more-than-single-byte characters show up in a
docstring as well.

> When the facts change, I change my mind. What do you do, sir?

If the facts have been changing once, I can wait for them to change
again.  Or they may not even be facts after all. :-)


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

Samples for the Waldorf Blofeld:
http://Synth.Stromeko.net/Downloads.html#BlofeldSamplesExtra

Re: org-pretty-entities and symbols like M_x^y

[Bastien]

Achim Gratz <Stromeko@nexgo.de> writes:

>> When the facts change, I change my mind. What do you do, sir?
>
> If the facts have been changing once, I can wait for them to change
> again.  Or they may not even be facts after all. :-)

This opens up my mind a lot, thanks :)

-- 
 Bastien

When facts change (was: org-pretty-entities and symbols like M_x^y)

[Rasmus]

Bastien <bzg@altern.org> writes:

> Achim Gratz <Stromeko@nexgo.de> writes:
>
>>> When the facts change, I change my mind. What do you do, sir?
>>
>> If the facts have been changing once, I can wait for them to change
>> again.  Or they may not even be facts after all. :-)

Perhaps that opinion is too dear for some practitioner, as Lord Keynes
was when he allegedly spoke those words.  What if the 'facts' only
converge back to your preferred state in the long run, when we are all
dead? :) 

–Rasmus

-- 
. . . It begins of course with The Internet.  A Net of Peers.

Re: When facts change

[Achim Gratz]

Rasmus writes:
>>>> When the facts change, I change my mind. What do you do, sir?
>>>
>>> If the facts have been changing once, I can wait for them to change
>>> again.  Or they may not even be facts after all. :-)
>
> Perhaps that opinion is too dear for some practitioner, as Lord Keynes
> was when he allegedly spoke those words.  What if the 'facts' only
> converge back to your preferred state in the long run, when we are all
> dead? :) 

The original quote[1] is really a lot better and I have much more trust
in its accuracy than the later quote you gave:

"When my information changes, I alter my conclusions. What do you do, sir?"

I don't know why it was altered to the second, I'll give that it is
punchier at first sight due to that double "change", but it makes a lot
less sense.  It may have been saved if it started "When I learn of new
facts,…", but that loses some punch again.


[1] https://en.wikiquote.org/wiki/John_Maynard_Keynes


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

SD adaptation for Waldorf microQ V2.22R2:
http://Synth.Stromeko.net/Downloads.html#WaldorfSDada