nieuwe symbolen vrhm, fixes #312