[Octave-bug-tracker] [bug #57103] Support Unicode mathematical symbols as function and variable names

[Anton Kochkov]

URL:
  <https://savannah.gnu.org/bugs/?57103>

                 Summary: Support Unicode mathematical symbols as function and
variable names
                 Project: GNU Octave
            Submitted by: xvilka
            Submitted on: Wed 23 Oct 2019 07:56:55 AM UTC
                Category: None
                Severity: 3 - Normal
                Priority: 5 - Normal
              Item Group: None
                  Status: None
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                 Release: dev
        Operating System: Any

    _______________________________________________________

Details:

Many mathematical systems nowadays support use of the Unicode characters in
the program texts and REPL/console.

Currently, Octave supports the LaTeX notation for the output/plotting, but not
the Unicode characters themselves in the functions code.

For example, systems like Coq, Agda, Lean support Unicode characters as parts
of their programs:

-
https://github.com/coq/coq/wiki/CoqIde-configuration-to-input-special-characters
-
https://github.com/soonhokong/travis_test/blob/master/doc/lean/tutorial.md#propositional-logic
- https://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html

Or Maxima:
-
https://feb.kuleuven.be/public/u0003131/wxMaxima/wxM_intro/58_5Greekcharacters.htm

Or Mathematica:
-
https://www.wolfram.com/language/12/networking-and-system-operations/use-the-full-range-of-unicode-characters.html?product=language

https://en.wikipedia.org/wiki/Mathematical_operators_and_symbols_in_Unicode
for commonly used characters.




    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?57103>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/