diff --git a/mlir/docs/SymbolsAndSymbolTables.md b/mlir/docs/SymbolsAndSymbolTables.md
--- a/mlir/docs/SymbolsAndSymbolTables.md
+++ b/mlir/docs/SymbolsAndSymbolTables.md
@@ -37,7 +37,7 @@
 
 ### Defining a Symbol
 
-A `Symbol` operation may use the `OpTrait::Symbol` trait to provide the
+A `Symbol` operation may use the `SymbolOpInterface::Trait` trait to provide the
 necessary verification and accessors, but this is not required as some
 operations, such as `module`, conditionally define a symbol. `Symbol`s must have
 the following properties:
diff --git a/mlir/docs/Traits.md b/mlir/docs/Traits.md
--- a/mlir/docs/Traits.md
+++ b/mlir/docs/Traits.md
@@ -269,7 +269,7 @@
 
 ### Symbol
 
-*   `OpTrait::Symbol` -- `Symbol`
+*   `SymbolOpInterface::Trait` -- `Symbol`
 
 This trait is used for operations that define a
 [`Symbol`](SymbolsAndSymbolTables.md#symbol).