notation for formal Laurent series I've found a few articles that write the ring of formal Laurent series in $t$ as $R((1/t))$, but what's the underlying meaning of $\cdot ((\cdot))$?
A mathematician of my acquaintance swears that $R((t))$, not $R((1/t))$, should be used to denote the ring of formal Laurent series in $t$.  We can't decide who's right without knowing what $\cdot((\cdot))$ means.  (We both agree that $R[[t]]$ denotes the ring of formal power series in $t$ with coefficients in $R$.)
 A: I agree with the mathematician of your acquaintance -- well, okay, I am the mathematician of your acquaintance.
Here are some references for the notation $K((x))$ for the field of formal Laurent series $\sum_{n \geq n_0} a_n x^n$ over $K$:

The wikipedia article on formal power series.

$\textbf{}$

Jacobson's Basic Algebra II, $\S 9.12$.

$\textbf{}$

Lam's Introduction to Quadratic Forms Over Fields, $\S VI.1$

$\textbf{}$

Neukirch's Algebraic Number Theory, $\S II.4$.

$\textbf{}$

Serre's Corps Locaux, $\S 1.1$.

A: I've seen $k((x,y))$ used to mean two different things: the field of fractions of $k[[x,y]]$ and also
$k((x,y)) = \{\sum_{i \geq n} \sum_{j \geq m} f_{i,j}x^iy^j : f_{i,j} \in k; n,m \in \mathbb{Z}\}$
These rings are distinct, e.g. the second one does not contain $\sum_{i \geq 0}y^{-(i+1)}x^i = (y-x)^{-1}$.
In one variable the distinction disappears, and then the only difference between $R((t))$ and $R((1/t))$ is whether the powers of $t$ go to $\infty$ or $-\infty$.
A: The ring of formal Laurent series is a particular case, for the group order
$$
\ldots 1/x^{n+1} < 1/x^{n} < \ldots 1/x^2  <1/x < 1 < x < x^2 < \ldots x^n < x^{n+1} < \ldots 
$$ 
of Malcev-Neumann series (series with well-ordered support on an ordered group $\Gamma$). These series are denoted $k((\Gamma))$. So I agree with the mathematician of your acquaintance because this is in accordance with the ``double bracketing'' and also with the the order. Indeed $k((x))$ is well-suited for the classical Laurent series whereas $k((1/x))$ tends to indicate $1/x>1$ and then the series with finite number of positive powers and (possibly) infinite number of negative ones (see Pietro Majer's comment). 
