From 1d29427d2532d1873f94d158bce72f18a7912f55 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 8 Jun 2018 13:23:37 +0200
Subject: [PATCH] fix markdown

---
 Naming.md | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Naming.md b/Naming.md
index 7df509027..955061f33 100644
--- a/Naming.md
+++ b/Naming.md
@@ -75,10 +75,9 @@
 
 ## Suffixes
 
-* T: canonical structurs (for example ofeT for OFEs, cmraT for cameras)
-
 * C: OFEs
 * R: cameras
 * UR: unital cameras or resources algebras
 * F: functors (can be combined with all of the above, e.g. CF is an OFE functor)
 * G: global camera functor management
+* T: canonical structurs for algebraic classes (for example ofeT for OFEs, cmraT for cameras)
-- 
GitLab