type | |
parsing-notation | ε_r (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/poisson.mmt#323.8.1:368.8.46 |
type | |
definition | |
parsing-notation | ε_s (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/poisson.mmt#439.10.1:489.10.51 |