Fix turnstile symbol and margin for ASCII - Githubissues

tirix / metamath-web

Metamath web server

http://metamath.tirix.org/mpeuni/toc

MIT License

4 stars 0 forks source link

Fix turnstile symbol and margin for ASCII #14

Closed tirix closed 1 year ago