Glossary

Symbol weight

The weight of a symbol is a positive real number assigned to it.