Use v and ȷ for weird purposes

Changes

1 changed files (+5/-5)

• WritingSystem.lean
  • @@ -105,10 +105,10 @@ instance : ToString Vowel where
    | .i => "ı" | .o => "e" | .u => "u" - | .yu => "y" + | .yu => "v" | .r => "r" | .coda _ c => match c with - | .i => "ı" + | .i => "ȷ" | .u => "o" | .n => "n" | .ng => "ŋ"
  • @@ -154,9 +154,9 @@ def convert (s : String) :=
    ㄗㄠˇ ㄕㄤˋ ㄏㄠˇ ㄓㄨㄥ ㄍㄨㄛˊ ， ㄒㄧㄢˋ ㄗㄞˋ ㄨㄛˇ ㄧㄡˇ ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄨㄛˇ ㄏㄣˇ ㄒㄧˇ ㄏㄨㄢ ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄉㄢˋ ㄕˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄅㄧˇ ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄨㄛˇ ㄗㄨㄟˋ ㄒㄧˇ ㄏㄨㄢ 。 ㄙㄨㄛˇ ㄧˇ … ㄒㄧㄢˋ ㄗㄞˋ ㄕˋ ㄧㄣ ㄩㄝˋ ㄕˊ ㄐㄧㄢ ， ㄓㄨㄣˇ ㄅㄟˋ 1 2 3， ㄌㄧㄤˇ ㄍㄜˋ ㄌㄧˇ ㄅㄞˋ ㄧˇ ㄏㄡˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄌㄧㄤˇ ㄍㄜˋ ㄌㄧˇ ㄅㄞˋ ㄧˇ ㄏㄡˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄌㄧㄤˇ ㄍㄜˋ ㄌㄧˇ ㄅㄞˋ ㄧˇ ㄏㄡˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9。 ㄅㄨˋ ㄧㄠˋ ㄨㄤˋ ㄐㄧˋ ， ㄅㄨˋ ㄧㄠˋ ㄘㄨㄛˋ ㄍㄨㄛˋ ， ㄑㄩˋ ㄉㄧㄢˋ ㄧㄥˇ ㄩㄢˋ ㄎㄢˋ ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄧㄣ ㄨㄟˊ ㄈㄟ ㄔㄤˊ ㄏㄠˇ ㄉㄧㄢˋ ㄧㄥˇ ， ㄉㄨㄥˋ ㄗㄨㄛˋ ㄈㄟ ㄔㄤˊ ㄏㄠˇ ， ㄔㄚˋ ㄅㄨˋ ㄉㄨㄛ ㄧ ㄧㄤˋ 。 ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄗㄞˋ ㄐㄧㄢˋ 。 - C̯o̬ṡŋ̖ s̈o̬ C̣uŋ̄г̤ué, ṡın̖c̯ı̖ uě ıǒ г̱ıŋ̄ċı́lıń, uě s̈ň ṡı̌s̈uṉ г̱ıŋ̄ċı́lıń, г̯n̖ṡ, Suг̯u Y̌ C̣ı̄ċıŋ́ 9, г̱ı̌ г̱ıŋ̄ċı́lıń, Suг̯u Y̌ C̣ı̄ċıŋ́, Suг̯u Y̌ C̣ı̄ċıŋ́ 9, uě c̯uı ṡı̌s̈uṉ. Suěı̌... ṡın̖c̯ı̖ ṡ ın̄ye ṡ́c̣ıṉ, c̣uňг̱ı 1 2 3: - Lıŋ̬ г̤e lı̌г̱ı̖ ı̌s̈o, Suг̯u Y̌ C̣ı̄ċıŋ́ 9, lıŋ̬ г̤e lı̌г̱ı̖ ı̌s̈o, Suг̯u Y̌ C̣ı̄ċıŋ́ 9, lıŋ̬ г̤e lı̌г̱ı̖ ı̌s̈o, Suг̯u Y̌ C̣ı̄ċıŋ́ 9. - Г̱uıo̖ uŋ̖c̣ı, г̱uıo̖ cueг̤ue, ċy г̯ın̖ıŋ̌yn̖ г̈n̖ Suг̯u Y̌ C̣ı̄ċıŋ́ 9, ın̄uı́ s̄ı̄ċŋ̗ s̈o̬ г̯ın̖ıŋ̌, г̯uŋc̯ue s̄ı̄ċŋ̗ s̈o̬, ċaг̱uг̯uē ı̄ıŋ̖. Г̱ıŋ̄ċı́lıń, c̯ı̖c̣ın̖. + C̯o̬ṡŋ̖ s̈o̬ C̣uŋ̄г̤ué, ṡın̖c̯ȷ̖ uě ıǒ г̱ıŋ̄ċı́lıń, uě s̈ň ṡı̌s̈uṉ г̱ıŋ̄ċı́lıń, г̯n̖ṡ, Suг̯u V̌ C̣ı̄ċıŋ́ 9, г̱ı̌ г̱ıŋ̄ċı́lıń, Suг̯u V̌ C̣ı̄ċıŋ́, Suг̯u V̌ C̣ı̄ċıŋ́ 9, uě c̯uȷ ṡı̌s̈uṉ. Suěı̌... ṡın̖c̯ı̖ ṡ ın̄ve ṡ́c̣ıṉ, c̣uňг̱ȷ̖ 1 2 3: + Lıŋ̬ г̤e lı̌гȷ̖ ı̌s̈o, Suг̯u V̌ C̣ı̄ċıŋ́ 9, lıŋ̬ г̤e lı̌г̱ȷ̖ ı̌s̈o, Suг̯u V̌ C̣ı̄ċıŋ́ 9, lıŋ̬ г̤e lı̌г̱ȷ̖ ı̌s̈o, Suг̯u V̌ C̣ı̄ċıŋ́ 9. + Г̱uıo̖ uŋ̖c̣ı, г̱uıo̖ cueг̤ue, ċv г̯ın̖ıŋ̌vn̖ г̈n̖ Suг̯u V̌ C̣ı̄ċıŋ́ 9, ın̄uȷ́ s̄ȷ̄ċŋ̗ s̈o̬ г̯ın̖ıŋ̌, г̯uŋc̯ue s̄ȷ̄ċŋ̗ s̈o̬, ċaг̱uг̯uē ı̄ıŋ̖. Г̱ıŋ̄ċı́lıń, c̯ȷ̖c̣ın̖. -/ #eval convert "ㄗㄠˇ ㄕㄤˋ ㄏㄠˇ ㄓㄨㄥ ㄍㄨㄛˊ ， ㄒㄧㄢˋ ㄗㄞˋ ㄨㄛˇ ㄧㄡˇ ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄨㄛˇ ㄏㄣˇ ㄒㄧˇ ㄏㄨㄢ ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄉㄢˋ ㄕˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄅㄧˇ ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄨㄛˇ ㄗㄨㄟˋ ㄒㄧˇ ㄏㄨㄢ 。 ㄙㄨㄛˇ ㄧˇ … ㄒㄧㄢˋ ㄗㄞˋ ㄕˋ ㄧㄣ ㄩㄝˋ ㄕˊ ㄐㄧㄢ ， ㄓㄨㄣˇ ㄅㄟˋ 1 2 3， ㄌㄧㄤˇ ㄍㄜˋ ㄌㄧˇ ㄅㄞˋ ㄧˇ ㄏㄡˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄌㄧㄤˇ ㄍㄜˋ ㄌㄧˇ ㄅㄞˋ ㄧˇ ㄏㄡˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄌㄧㄤˇ ㄍㄜˋ ㄌㄧˇ ㄅㄞˋ ㄧˇ ㄏㄡˋ ， ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9。 ㄅㄨˋ ㄧㄠˋ ㄨㄤˋ ㄐㄧˋ ， ㄅㄨˋ ㄧㄠˋ ㄘㄨㄛˋ ㄍㄨㄛˋ ， ㄑㄩˋ ㄉㄧㄢˋ ㄧㄥˇ ㄩㄢˋ ㄎㄢˋ ㄙㄨˋ ㄉㄨˋ ㄩˇ ㄐㄧ ㄑㄧㄥˊ 9， ㄧㄣ ㄨㄟˊ ㄈㄟ ㄔㄤˊ ㄏㄠˇ ㄉㄧㄢˋ ㄧㄥˇ ， ㄉㄨㄥˋ ㄗㄨㄛˋ ㄈㄟ ㄔㄤˊ ㄏㄠˇ ， ㄔㄚˋ ㄅㄨˋ ㄉㄨㄛ ㄧ ㄧㄤˋ 。 ㄅㄧㄥ ㄑㄧˊ ㄌㄧㄣˊ ， ㄗㄞˋ ㄐㄧㄢˋ 。"