[isabelle-dev] src/Doc/Corec fails

Makarius makarius at sketis.net
Sat Apr 2 19:19:54 CEST 2016

On Sat, 2 Apr 2016, Jasmin Blanchette wrote:

>> This works as long as only Isabelle antiquotations or control symbols 
>> are used.
> I don't know any good way of putting Isabelle text as produced by 
> antiquotations in bold. Do you?

How about this?

text ‹


The subscript is not bold, but that is probably better mathematical 
typesetting anyway.


More information about the isabelle-dev mailing list