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 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#574.15.1:601.15.28 |
domain | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#604.16.1:631.16.28 |
type | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#634.17.1:647.17.14 |
type | |
parsing-notation | b ' (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#649.18.1:707.18.59 |
type | |
definition | |
parsing-notation | ℝ2 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#775.21.1:816.21.42 |
type | |
definition | |
parsing-notation | ℝ3 (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#818.22.1:863.22.46 |
type | |
definition | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#867.24.1:896.24.30 |
type | |
definition | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#898.25.1:932.25.35 |
type | |
definition | |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#934.26.1:968.26.35 |
type | |
definition | |
parsing-notation | pred2 a (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#972.28.1:1048.28.77 |
type | |
definition | |
parsing-notation | pred3 a (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#1050.29.1:1126.29.77 |
type | |
definition | |
parsing-notation | t1↑ a (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#1130.31.1:1252.32.70 |
type | |
definition | |
parsing-notation | t2↑ a (precedence -1) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#1254.33.1:1380.34.73 |
type | |
parsing-notation | f1↑ b (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#1385.36.1:1510.37.45 |
type | |
parsing-notation | f2↑ b (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/constants.mmt#1512.38.1:1650.39.56 |