finalised symbols