Rule and tests for supraline fracsym