Fixed constraint symbol