aboutsummaryrefslogtreecommitdiff
path: root/pages/notations.org
diff options
context:
space:
mode:
Diffstat (limited to 'pages/notations.org')
-rw-r--r--pages/notations.org11
1 files changed, 11 insertions, 0 deletions
diff --git a/pages/notations.org b/pages/notations.org
index 691a9d6..e20ab54 100644
--- a/pages/notations.org
+++ b/pages/notations.org
@@ -1,3 +1,14 @@
+# Copyright (C) 2013-2021 Yuchen Pei.
+
+# Permission is granted to copy, distribute and/or modify this
+# document under the terms of the GNU Free Documentation License,
+# Version 1.3 or any later version published by the Free Software
+# Foundation; with no Invariant Sections, no Front-Cover Texts, and
+# no Back-Cover Texts. You should have received a copy of the GNU
+# Free Documentation License. If not, see <https://www.gnu.org/licenses/>.
+
+# This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by-sa/4.0/ or send a letter to Creative Commons, PO Box 1866, Mountain View, CA 94042, USA.
+
#+title: List of Notations
#+date: 2019-03-15