type | |
parsing-notation | ε_0 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#326.7.1:369.7.44 |
type | |
parsing-notation | q (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#417.9.1:446.9.30 |
type | |
parsing-notation | k_B (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#506.11.1:538.11.33 |