lean4-metaprogramming-book icon indicating copy to clipboard operation
lean4-metaprogramming-book copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Pdf should render inline code & unicode symbols

Open lakesare opened this issue 1 year ago • 0 comments

  1. Inline code should be more like this
image
  1. Some unicode symbols aren't getting rendered properly
image

Here is markdown on github for a comparison:

image

lakesare avatar Jun 22 '23 17:06 lakesare