˜
𝔽˜ 𝕩
→full documentation
Supplies 𝕩 as a left argument to 𝔽 (𝕩 𝔽 𝕩).
𝕩
𝔽
𝕩 𝔽 𝕩
1 + 1 2 +˜ 1 2
𝕨 𝔽˜ 𝕩
Swaps the arguments of 𝔽 (𝕩 𝔽 𝕨).
𝕩 𝔽 𝕨
1 - 2 ¯1 1 -˜ 2 1