User guide

10.1. THE SIAL SPECIFICATION 175
lkp Kk Pn a := P!n!k
lkg Kk Gn a := G!n!k
rv a := ! a
rvp Pn a := P!n!a
rvk Kn a := a!k
st !a := b
stp Pn P!n!a := b
stk Kn a!n := b
stkp Kk Pn P!n!k := a
skg Kk Gn G!n!k := a
xst !b := a
k Pn Call a(b,...) incrementing P by n
leaving b in a
kpg Pn Gg Call Gg(a,...) incrementing P by n
neg a := - a
not a := ~ a
abs a := ABS a
xdiv a := a / b; c := ?
xrem a := a REM b; c := ?
xsub a := a - b; c := ?
mul a := b * a; c := ?
div a := b / a; c := ?
rem a := b REM a; c := ?
add a := b + a
sub a := b - a
eq a := b = a
ne a := b ~= a
ls a := b < a
gr a := b > a
le a := b <= a
ge a := b >= a
eq0 a := a = 0
ne0 a := a ~= 0
ls0 a := a < 0
gr0 a := a > 0
le0 a := a <= 0
ge0 a := a >= 0