Show HN: Develop Formal Language Designed as Digital Scientific Notations · HackerTrans