search

OpenLogicProject / OpenLogic

An open-source, customizable intermediate logic textbook
http://openlogicproject.org/
Creative Commons Attribution 4.0 International
1.06k stars 240 forks source link

Render `0` in math mode in `unique-readability.tex` #359

Closed Friendseeker closed 8 months ago

Friendseeker commented 8 months ago

Issue

Two particular $0$ appears to be in incorrect font.

Screenshot 2024-02-05 at 11 40 31 AM

Fix

Embeds two $0$ by $$ so they are rendered in math mode instead of text mode.

rzach commented 8 months ago

Thanks!