type | |
parsing-notation | N_c (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#340.9.1:398.9.59 |
type | |
parsing-notation | N_v (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#493.12.1:548.12.56 |
type | |
parsing-notation | E_c (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#608.14.1:642.14.35 |
type | |
parsing-notation | E_v (precedence 0) |
http://cds.omdoc.org/mmt?metadata?sourceRef | http://mathhub.info/MitM/Models/densities.mmt#699.16.1:730.16.32 |