Update src/Bridges/Constraint/bridges/inequality_to_complements.jl

Co-authored-by: Benoît Legat <[email protected]>
jump-dev · Nov 14, 2024 · 7907001 · 7907001
1 parent e7297f3
commit 7907001
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Bridges/Constraint/bridges/inequality_to_complements.jl b/src/Bridges/Constraint/bridges/inequality_to_complements.jl
@@ -9,7 +9,7 @@
 
 `InequalityToComplementsBridge` implements the following reformulations:
 
-  * ``f(x) \\ge b`` into ``f(x) - b \\perp y \\ge 0``
+  * ``f(x) \\ge b`` into ``\\exists y`` such that ``f(x) - b \\perp y \\ge 0``
   * ``f(x) \\le b`` into ``f(x) - b \\perp y \\le 0``
   * ``f(x) = b`` into ``f(x) - b \\perp y``