From 023d9deb6847f67521c92a79c88ad1e7b0bc90ff Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Sat, 16 Dec 2023 13:52:51 +0100
Subject: [PATCH] fix and add some function and relation snippets
---
snippets/classicalb_snippets.json | 24 ++++++++++++++++++++++--
snippets/rmchAddOn_snippets.json | 24 ++++++++++++++++++++++--
2 files changed, 44 insertions(+), 4 deletions(-)
diff --git a/snippets/classicalb_snippets.json b/snippets/classicalb_snippets.json
index d8c4e80..bfd30a1 100644
--- a/snippets/classicalb_snippets.json
+++ b/snippets/classicalb_snippets.json
@@ -119,7 +119,7 @@
},
"B: -->>": {
"prefix": "funcTotalSurjection",
- "body": ">->"
+ "body": "-->>"
},
"B: >->>": {
"prefix": "funcTotalBijection",
@@ -131,11 +131,31 @@
},
"B: >+>": {
"prefix": "funcPartialInjection",
+ "body": ">+>"
+ },
+ "B: +->>": {
+ "prefix": "funcPartialSurjection",
"body": "+->>"
},
"B: >+>>": {
- "prefix": "funcBijection",
+ "prefix": "funcPartialBijection",
"body": ">+>>"
+ },
+ "B: <->": {
+ "prefix": "relation",
+ "body": "<->"
+ },
+ "B: <<->": {
+ "prefix": "relationTotal",
+ "body": "<<->"
+ },
+ "B: <->>": {
+ "prefix": "relationSurjective",
+ "body": "<->>"
+ },
+ "B: <<->>": {
+ "prefix": "relationTotalSurjective",
+ "body": "<<->>"
}
}
}
\ No newline at end of file
diff --git a/snippets/rmchAddOn_snippets.json b/snippets/rmchAddOn_snippets.json
index 5968671..5bdaa42 100644
--- a/snippets/rmchAddOn_snippets.json
+++ b/snippets/rmchAddOn_snippets.json
@@ -110,7 +110,7 @@
},
"B: -->>": {
"prefix": "funcTotalSurjection",
- "body": ">->"
+ "body": "-->>"
},
"B: >->>": {
"prefix": "funcTotalBijection",
@@ -122,11 +122,31 @@
},
"B: >+>": {
"prefix": "funcPartialInjection",
+ "body": ">+>"
+ },
+ "B: +->>": {
+ "prefix": "funcPartialSurjection",
"body": "+->>"
},
"B: >+>>": {
- "prefix": "funcBijection",
+ "prefix": "funcPartialBijection",
"body": ">+>>"
+ },
+ "B: <->": {
+ "prefix": "relation",
+ "body": "<->"
+ },
+ "B: <<->": {
+ "prefix": "relationTotal",
+ "body": "<<->"
+ },
+ "B: <->>": {
+ "prefix": "relationSurjective",
+ "body": "<->>"
+ },
+ "B: <<->>": {
+ "prefix": "relationTotalSurjective",
+ "body": "<<->>"
}
}
}
\ No newline at end of file
--
GitLab