Checkpoint: need to improve xsp2math.pl