search

nameiwillforget / hegel-in-mathematics

My exposition of the formalization of Hegel's theory in modal homotopy type theory
GNU General Public License v3.0
12 stars 1 forks source link

footnote placing #5

Closed Nikolaj-K closed 2 years ago

Nikolaj-K commented 2 years ago

I think the footnote digits generally belong after the characters like ., ,, :, etc.

nameiwillforget commented 2 years ago

Thanks!