- notation for the exclusion binder in local envirinments

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / etc / notation / dxpair2_3.etc

diff --git a/matita/matita/contribs/lambdadelta/basic_2/etc/notation/dxpair2_3.etc b/matita/matita/contribs/lambdadelta/basic_2/etc/notation/dxpair2_3.etc
new file mode 100644 (file)
index 0000000..77e894d
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/basic_2/etc/notation/dxpair2_3.etc
@@ -0,0 +1,3 @@
+notation > "hvbox( L . break ②{ term 46 I } break term 47 T1 )"
+ non associative with precedence 46
+ for @{ 'DxBind2 $L $I $T1 }.