Can I give different names to tactics?

Stream: Is there code for X?

[Mr Proof]

If I have a tactic like rw[<-Real.sq_sqrt] can I assign this to a different named variable just to give it a different name?

[Kyle Miller]

It sounds like you're asking about making tactic macros.

macro "the_great_tactic_of_mr_proof" : tactic =>
  `(tactic| rw [<-Real.sq_sqrt])

Then the_great_tactic_of_mr_proof is rw [<-Real.sq_sqrt] for short.