mp-symb.mp /size: 76 b    last modification: 2020-07-01 14:35
1
if
known
mplib
:
2
input
mp
-
symb
.
mpiv
3
else
:
4
input
mp
-
symb
.
mpii
5
fi
;
6 7