At Tue, 18 Aug 2015 17:45:28 +0200, Paul van der Walt wrote: > I have a bunch of typing judgements and metafunctions which i would now > like to typeset, but the ⟦⟧ characters are not showing up correctly. I > assume this is some kind of fonts problem? Mind you, at some point in > the past (some months ago? Not sure unfortunately... Haven't --that i > know of-- changed anything related on my system recently) it all did > work as expected...
The change was probably the switch from using "homemade" white-brackets to using the white-bracket Unicode character. You should be able to get the old behavior by parameterizing rendering to restore the homemade approach: (parameterize ([white-square-bracket homemade-white-square-bracket]) (render-metafunction different "fn:different.pdf")) -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
