A practical introduction to the new logic symbols