Re: [isabelle] Two problems about emacs and jedit

On 12/04/13 17:50, jiangdc wrote:
> I installed Isabelle2013 with emacs23 on Ubuntu 12.04. When I type =>
> or \<Rightarrow>, it converts to a symbol, which looks like a very
> tiny "=", but not looks like a normal rightarrow.

Try installing the "fonts-stix" package as so:

    sudo apt-get install fonts-stix

and restart emacs. This should hopefully solve the problem.



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.