let
symV x =
match
x
with
|
'1'
->
7
|
'2'
->
6
|
'3'
->
5
|
'4'
->
4
|
'5'
->
3
|
'6'
->
2
|
'7'
->
1
|
'8'
->
0
|
_
->
99