unbeauty

형식탐구할 때 개인 규칙을 정하자.

정의를 synurl로 때울수 있음은 장점이지만, synurl개발과 문서화가 쉽지 않다.

Algebric Form of ZFC (AFZFC = Alkalic) 체계에 대란 증명을 할때, (실제론 이부분 안씀, 절대 안씀, 오직 AlkalicProofmood와 AFZFC에 대한 증명에서만 딱 한번 쓴다.)

1. 정의는 synurl을 이용한다.

2. 증명은 Proofmood를 이용한다.

3. 계산은 Geogebra나 Wolfram|Alpha를 이용한다.

AFZFC로 증명시(실사용, AFZFC를 증명하는것 이외는 AFZFC를 쓴다, 정확히는 AlkalicProofmood자체를 증명할때 이외에 사용, 여기 항목이 전부 기본)에

1. 정의는 synurl을 이용한다.

2. 증명은 [AlkalicProofmood - PowerUpVersion]을 이용한다

3. 계산은 Web Graphic Linear Unbeauty Calculater & Extension Toolkit라는 곧 만들 정보에 대한 명세에 적힌 사이트로 한다. 아직 명세도 안만들었지만

잠시만 synurl이 pinanot이네…?

정리하여 쓸 떄

(Colab Capsule Markdown)라는 타입을 만들어서,

<?Conclusion=**요약*>하는 시스템 만들기 (\<?Conclusion=**요약*>로 이스케이프)

거기에

<?Abstract=**요약*>하는 시스템 만들기 (\<?Abstract=**요약*>로 이스케이프)

하는 시스템도 추가.

요약이 무슨 문서의 대부분이 되면 안되니까 미친짓이니까, 추가함.

예정 : 이걸 Quatro에서

This site is open source. Improve this page.