title: Define product type after importing QArith
body: <p>After importing <code>QArith</code> in Coq</p>
  
  <pre><code>Require Import Coq.QArith.QArith_base.
  </code></pre>
  
  <p>I want to define a product type</p>
  
  <pre><code>Parameter T : Type.
  Definition TT : Type := T * T.
  </code></pre>
  
  <p>but the <code>*</code> is redefined in <code>QArith</code>, and I get the error message</p>
  
  <pre><code>Error: The term "T" has type "Type" while it is expected to have type "Q".
  </code></pre>
  
  <p>How can I use the original <code>*</code>?</p>