Wird die umgekehrte polnische Notation verwendet?