Re: Changing into greek glyphs in texinfo-mode

[pietru]

> Sent: Tuesday, February 02, 2021 at 2:01 AM
> From: "moasenwood--- via Users list for the GNU Emacs text editor" 
> <help-gnu-emacs@gnu.org>
> To: help-gnu-emacs@gnu.org
> Subject: Re: Changing into greek glyphs in texinfo-mode
>
> pietru wrote:
> 
> > Does anybody have a strategy how to do this thing? I do not
> > think I should do a replacement, only for display, which
> > I can turn on or off.
> 
> Yes, check out for example dafny-mode which you find in MELPAs
> boogie-friends version 20210127.1405 -

Thank you.
 
> Then type fore example
> 
>   ensures x ==> "formal verification stinks"

Have looked at line 203 for the keyword "forall".  I changed it for
\alpha.  Now I need some more function for this to take effect. 

 (list "\\\\\\<alpha+\\>\\([\s+\,:;._^-]\\\\\\<[a-z]+\\>\\)?"
      '(1 (compose-region (match-beginning 1) (match-end 1) ?α))
      '(1 font-lock-keyword-face append))

> and it will change ==> into something I cannot even make out
> here in the Linux VT.
> 
> Very annoying IMO.
> 
> Check out the compose-* stuff - is that what it is?
> 
> -- 
> underground experts united
> http://user.it.uu.se/~embe8573
> https://dataswamp.org/~incal
> 
> 
>