Text this: A practical introduction to the new logic symbols /