Help for this page
t(1;3)(q15;p13) ==> t([int], [int])([p|q][int], p|q][int]) inv(1)(p13p11.1) ==> inv([int])([p|q][int][p|q][int]) +3 ==> +[int]
qr/^der\((.{1,2});(.{1,2})\)\(([p|q].*);([p|q].*)\)$/