From eb1453fceaae585d05116b5a0d5507deacb8bf44 Mon Sep 17 00:00:00 2001
From: Naman Kumar <330364+namankumar@users.noreply.github.com>
Date: Thu, 11 Jan 2024 10:21:10 -0800
Subject: [PATCH] Update definitions_and_implementation_notes.md

formatting
---
 contents/cap-tbd/definitions_and_implementation_notes.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/contents/cap-tbd/definitions_and_implementation_notes.md b/contents/cap-tbd/definitions_and_implementation_notes.md
index ca1b79034..9868d0a9d 100644
--- a/contents/cap-tbd/definitions_and_implementation_notes.md
+++ b/contents/cap-tbd/definitions_and_implementation_notes.md
@@ -46,12 +46,12 @@ Also referred to as “zero point”. For BLS12 curves point with coordinates (0
 Certain operations have variable length input, such as multiexponentiations (takes a list of pairs (point, scalar)), or pairing (takes a list of (G1, G2) points). While their behavior is well-defined (from arithmetic perspective) on empty inputs, this proposal discourages such use cases and variable input length operations must return an error if input is empty.
 
 
-### Field Element to Curve Mapping
+## Field Element to Curve Mapping
 See linked [document](https://github.com/namankumar/stellar-protocol/blob/master/contents/cap-tbd/field_element_to_curve_point_mapping.md).
 
 
 
-### Test Cases
+## Test Cases
 Due to the large test parameters space we first provide properties that various operations must satisfy. We use additive notation for point operations, capital letters (P, Q) for points, small letters (a, b) for scalars. Generator for G1 is labeled as G, generator for G2 is labeled as H, otherwise we assume random point on a curve in a correct subgroup. 0 means either scalar zero or point of infinity. 1 means either scalar one or multiplicative identity. group_order is a main subgroup order. e(P, Q) means pairing operation where P is in G1, Q is in G2.
 
 Required properties for basic ops (add/multiply):