This is a small question, but am I right in thinking maxima uses a tab-width of 8 in general? (This _really_ _really_ isn't a complaint - I just want to see the same indentation as everyone else.) Rupert