Lack of ⊻ U+22BB
まだ誰も着手していません。
評価
調査の方向性
まず、シンボル定義内にある xor と plus.o の既存のマッピングを見つけます。xor が ⊻ (U+22BB) にマッピングされ、plus.o が引き続き ⊕ (U+2295) にマッピングされ、プロジェクト内でマッピングが一貫して動作すれば、変更は完了です。
索引モデルが issue の本文から書いたものです。
説明
Currently, in Typst, the xor symbol is mapped to ⊕ (U+2295, plus.o). I propose remapping xor to ⊻ (U+22BB, XOR in Unicode), which is currently not encoded in Typst.
Rationale
Semantic Consistency: Typst uses ∨ (or, U+2228) for the logical OR operation. In mathematical logic, if "OR" is represented by the "vee" symbol (∨), its exclusive counterpart "XOR" is standardly represented by the "vee with bar" symbol (⊻).
Unicode Alignment: The Unicode character U+22BB is explicitly named "XOR". Using this mapping aligns Typst with international standards.
Ambiguity Resolution: Currently, xor is an alias for plus.o (⊕). While ⊕ is sometimes used for XOR (especially when "OR" is represented as +), it primarily means "circled plus" or "direct sum." Decoupling these allows:
xor → ⊻ (Logical exclusive OR)
plus.o → ⊕ (Mathematical circled plus)
- 主要言語
- Rust
- スター
- 53
- フォーク
- 22
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
typst/codex のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
-
難易度 3/5 1〜2日 初心者へのやさしさ 55/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 35/100
-
proposal
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
似ている issue
-
agent:sonnet-high enhancement priority: P2 ready-for-agent
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
shep-pm/shep-kelpie#652 ·
メンテナーはふだん 1 日以内に返信
-
install.ps1: Windows PowerShell 5.1 aborts after a successful cosign verification (NativeCommandError on 'Verified OK')対応中かも @sly321-pixel が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
ai_p2
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
ClickHouse/ClickHouse#125522 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
[Bug]: OpenRouter streaming chunks report the requested router name instead of the model OpenRouter served対応中かも @Mrun25 が今日担当しました。 オープンbug llm translation
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
BerriAI/litellm#46095 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信