Update

docs/src/developers/extensions.md

@@ -200,20 +200,20 @@ julia> model = Model(); @variable(model, x);
 
 julia> function JuMP.parse_constraint_head(
            _error::Function,
-           ::Val{:≡},
+           ::Val{:≝},
            lhs,
            rhs,
        )
-           println("Rewriting ≡ as ==")
+           println("Rewriting ≝ as ==")
            new_lhs, parse_code = MutableArithmetics.rewrite(lhs)
            build_code = :(
                build_constraint($(_error), $(new_lhs), MOI.EqualTo($(rhs)))
            )
            return false, parse_code, build_code
        end
 
-julia> @constraint(model, x + x ≡ 1.0)
-Rewriting ≡ as ==
+julia> @constraint(model, x + x ≝ 1.0)
+Rewriting ≝ as ==
 2 x = 1
 ```
 

src/constraints.jl

@@ -1543,13 +1543,7 @@ function relax_with_penalty!(
     return relax_with_penalty!(model, Dict(); default = default)
 end
 
-
-function parse_constraint_head(
-    error_fn::Function,
-    ::Val{:(:=)},
-    lhs,
-    rhs,
-)
+function parse_constraint_head(error_fn::Function, ::Val{:(:=)}, lhs, rhs)
     new_lhs, parse_code_lhs = _rewrite_expression(lhs)
     new_rhs, parse_code_rhs = _rewrite_expression(rhs)
     parse_code = quote
@@ -1562,10 +1556,7 @@ function parse_constraint_head(
         elseif $new_lhs isa Bool
             ScalarConstraint($new_rhs, MOI.EqualTo($new_lhs))
         else
-            ScalarConstraint(
-                op_equal_to($new_lhs, $new_rhs),
-                MOI.EqualTo(true),
-            )
+            ScalarConstraint(op_equal_to($new_lhs, $new_rhs), MOI.EqualTo(true))
         end
     end
     return false, parse_code, build_code

test/test_macros.jl

@@ -89,7 +89,7 @@ end
 
 struct CustomType end
 
-function JuMP.parse_constraint_head(_error::Function, ::Val{:≡}, lhs, rhs)
+function JuMP.parse_constraint_head(_error::Function, ::Val{:≝}, lhs, rhs)
     return false, :(), :(build_constraint($_error, $(esc(lhs)), $(esc(rhs))))
 end
 
@@ -326,7 +326,7 @@ function test_extension_custom_expression_test(
 )
     model = ModelType()
     @variable(model, x)
-    @constraint(model, con_ref, x ≡ CustomType())
+    @constraint(model, con_ref, x ≝ CustomType())
     con = constraint_object(con_ref)
     @test jump_function(con) == x
     @test moi_set(con) isa CustomSet