search

Knowledge-Graphs-Book / HTML-Book

Other
36 stars 7 forks source link

Extra space in 3rd bullet point of Def. 2.8 #23

Closed Antoine-Zimmermann closed 1 year ago

Antoine-Zimmermann commented 1 year ago

"connectives (∧, ∨, ¬, =) ," -> there is an extra space before the comma

aidhog commented 1 year ago

Fixed in HTML, PHP and LaTeX.